`((main
   ;; more suggestions for where to find goofy names use:
   ;; https://www.phoronix.com/forums/forum/phoronix/latest-phoronix-articles/1227685-fedora-shifting-their-git-repositories-to-main-some-to-rawhide
   (section (@ (class "parallax")
               (style "background-image: url('./images/gym-background.png');"))
            (h1 (@ (id "title-text")) "Proper Naming Initiative")
            (div (@ (class "padding-left-and-right flex-no-wrap"))
                 (article (@ (class "padding-left-and-right"))
                          (h3 (@ (class "text-center")) "Not virtue signaling to end slavery."))
                 ))
   (section (@ (class "padding-above-and-below") (style "background-color:lightblue;"))
            (article (@ (class "display-text"))
                     (h2 "The Full Story")
                     (p "The Proper Naming Inactive's mission is to tease "
                        (a (@ (href "https://inclusivenaming.org/")
                              (target "_blank")) "inclusivenaming.org")
                        " and to end slavery. We find policing of
technical jargon hilarious, and we wish to encourage free expression,
where anyone is free to say whatever they want.  We find that
excessive political correctness is silly, wastes man-hours, and is a
technical detriment. Also instead of virtue signaling, we help end
actual slavery by encouraging others to donate to non-profits that
fight global slavery.")
                     (p "")))
   (section (article (@ (class "display-text"))
                     (h2 "Wordlist")
                     (div
                      (h4 "Blacklist/Whitelist")
                      (p "Blacklist/Whitelist are great terms for
helping you determine whose allowed and whose not.  It has no racist
symbolism whatsoever.  Rather it refers to day and night, when
superstitious folks were afraid of the dark.  Also blacklist and
whitelist are easier to say than allowlist/denylist."))
                     (div
                      (h4 "Cracker/Hacker")
                      (p "A hacker is someone who exercises playful
cleverness, usually in the context of a computer program.  A cracker
is someone who breaks computer programs, usually for nefarious
purposes.  Also no white person has ever been offended by the term
'cracker'."))
                     (div
                      (h4 "Execution/die/kill/crash")
                      (p "This refers to program flow or halting.  It does not refer to death.  In computer terms "
                         (a (@ (href "https://en.wikipedia.org/wiki/Execution_(computing)")
                               (target "_blank"))
                            "'normal execution' ")
                         " is not referring to any death."))
                     (div
                      (h4 "F*ck me harder")
                      (p "This phrase expresses powerful "
                         (a (@ (href "http://www.catb.org/jargon/html/F/fuck-me-harder.html")
                               (target "_blank")) "frustration")
                         "; Its usage is usually related to annoying
programming problems. Generally speaking, a hacker screaming
'f*ck me harder' is not experiencing sexual gratification."))
                     (div
                      (h4 "Foo/Bar")
                      (p "These are normally used as "
                         (a (@ (href "http://www.catb.org/jargon/html/F/foobar.html")
                               (target "_blank"))  "example variable")
                         " names and do not condone excessive
drinking, nor do you need to be in a bar to have 'bar' explained to
you."))
                     (div
                      (h4 "gang bang")
                      (p
                       (a (@ (href "http://www.catb.org/jargon/html/G/gang-bang.html")
                             (target "_blank")) "A hacker gang bang")
                       " is using numerous hackers to complete a large
project in a limited amount of time.  It's usually a big hot mess, and few people
are satisfied with the result."))
                     (div
                      (h4 "git")
                      (p
                       (a (@ (href "https://git-scm.com/") (target "_blank"))
                          "git") " is a tool to help software
developers track changes to programs.  While 'git' is British slang
for idiot, it is really a term of endearment.  Typical useage might
be, 'Those gits peed on the electric fence again.  Idiots.'"))
                     (div
                      (h4 "git blame")
                      (p "Git blame is a tool for figuring out who
hacked up and make all the other developers hacked off.  It is a
necessary tool for development, and in no way insinuates that the
problem is your fault."))
                     (div
                      (h4 "hacked up/hacked off")
                      (p
                       (a (@ (href "http://www.catb.org/jargon/html/H/hacked-up.html")
                             (target "_blank")) "Hacked up")
                       " is a program whose collective hacks start to
make the program hard to maintain.  "

                       (a (@ (href "http://www.catb.org/jargon/html/H/hacked-off.html")
                             (target "_blank"))
                          "Hacked off ")
                       "is similar to p*ssed off. It does not refer to "
                       (a (@ (href "https://www.merriam-webster.com/dictionary/coitus")
                             (target "_blank")) "coitus."))
                      )
                     (div
                      (h4 "KISS")
                      (p (a (@ (href "http://www.catb.org/jargon/html/K/KISS-Principle.html")
                               (target "_blank")) "KISS")
                         " stands for 'keep it simple stupid.'
Violators of the KISS rule are not stupid.  They are silly."))
                     (div
                      (h4 "Master/Slave")
                      (p "These are great words to help explain which
programs control other programs.  This is the proper way to explain
these relationships.  Primary and secondary implies that the secondary
has some sort of authority, which a slave does not.  Also we
'remaster' sound tracks and 'master degrees'.  Also 'main' is dutch
slang for 'man'.  So apparently, men are the only gits that are
allowed to use git. If the word 'master' offends you, perhaps you
could say 'massa' instead.  It is really the hard 't' that is the
offensive bit."))
                     (div
                      (h4 "Red Hat")
                      (p "Red Hat is a large corporation that
contributes to numerous open source/libre projects.  Despite popular
opinion, their logo of a 'Red Hat' does not mean that they are members
of the infamous 'Blood' gang, nor does it condone the scalping of
heads, nor does it condone Satan worship.  Consider yourself
educated."))
                     (div
                      (h4 "RTFM/RTFB")
                      (p "This is slang for "
                         (a (@ (href "http://www.catb.org/jargon/html/R/RTFM.html")
                               (target "_blank"))
                            "'read the f*cking manual/binary'")
                         ".  It's most commonly used to express frustration."))
                     (div
                      (h4 "systemd-systext")
                      (p (a (@ (href "https://www.freedesktop.org/software/systemd/man/systemd-sysext.html#--force")
                               (target "_blank"))
                            "systemd-systext")
                         " should be renamed to
systemd-overlay because some silly people will mistake \"sysext\" for syber
sex tool which is offensive to virgins and people who have not had sex
in years."))
                     (div
                      (h4 "Trees")
                      (p "A tree is a concept that helps explain
data structures, and it is in no way intended to overshadow short bushes or
tall grass.")
                      (div
                       (h4 "Web Crawler/Spider/Spider Bot")
                       (p "This term really should not be a problem for our friends suffering from "
                          (a (@ (href "https://en.wikipedia.org/wiki/Arachnophobia")
                                (target "_blank")) "arachnophobia")
                          ", because it honestly has nothing to do
with spiders.  In fact, a web crawler is something that has many legs
to search, crawl, and slither through the internet.  It also has eyes
everywhere.  And it's one big hairy mess of a code base.")
                       ))))
   (section (@ (class "padding-above-and-below background-grey"))
            (article (@ (class "display-text text-white"))
                     ))))
